bitkeeper revision 1.1159.225.1 (41f19001RQR4BW0TNzYlpfwik2LIFg)

Documentation fix.

diff --git a/docs/src/user.tex b/docs/src/user.tex
index 3b9d3773ca4e55f728fdce4ca5461a571798c3a6..a50300327cb75f12be24f687bf6b0dd9112af7e5 100644 (file)
--- a/docs/src/user.tex
+++ b/docs/src/user.tex
@@ -1770,7 +1770,7 @@ editing \path{grub.conf}.
  possibilities are `bvt' (default), `atropos' and `rrobin'. 
  For more information see Section~\ref{s:sched}. 
 
-\item [pci\_dom0\_hide=(xx.xx.x)(yy.yy.y)\ldots ] 
+\item [physdev\_dom0\_hide=(xx:xx.x)(yy:yy.y)\ldots ]
 Hide selected PCI devices from domain 0 (for instance, to stop it
 taking ownership of them so that they can be driven by another
 domain).  Device IDs should be given in hex format.  Bridge devices do